classical sentential calculus经典语句演算
Sentential Calculus Semantics句子微分语义学
sentential calculus detail语句演算
Sentential Calculus Introduction句子微分入门
N（名词） the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure 命题演算 [logic]